automating reasoning造句
例句與造句
- Automated reasoning and equation solving with the characteristic set method
基于特征列方法的自動推理與方程求解 - Alti1ough neuial network gets a satistw soluhon of prob1em , it is not deted to use ned ned solving problem of automated reasoning
盡管神經網(wǎng)絡尋找到的解是一個滿意解，但這不影響我們考慮將神經網(wǎng)絡技術應用于自動推理理論與方法中。 - In this thesis , reasning based medel and resolution principle are deeply studied , and using netal network partly driplement automated reasoning
本文在對命題邏輯系統(tǒng)的模型推理和歸結原理研究的基礎上，嘗試利用神經網(wǎng)絡部分實現(xiàn)自動推理。 - Engineers have yet to solve fundamental problems involving robotic perception and world modeling , automated reasoning , manipulation of objects and locomotion
工程師還有很多根本的問題尚未解決，包括機器人的知覺、如何建立周遭環(huán)境的模型、自動推理、物品操作和行進方式等。 - It can be extended to fuzzy logic systems and some lattice - valued logic systems . 3 . the study on automated reasoning a new automated reasoning method based on path searching was proposed
2 、提出一種利用神經邏輯單元動態(tài)地構造神經網(wǎng)絡的算法來對一些邏輯系統(tǒng)中的邏輯公式的真值進行計算。 - It's difficult to find automating reasoning in a sentence. 用automating reasoning造句挺難的
- The normal form theories can keep the intuition relationship between the complete normal form and the truth table , which only keeps in classical 2 - valued logic system . the tableau system can act as the automated reasoning system in incomplete information environments
該范式理論能夠在三值環(huán)境下依舊保留等值完全范式與真值表? ?對應的直觀關系，同時，建立的表推演系統(tǒng)可作為不完全信息的自動推演系統(tǒng)。 - Based on the production of other researchers such as professor xu yang and professor qin keyun , this paper discusses the structure and properties of lattice implication algebra , tautologies in some lattice - valued systems , automated reasoning methods , lattice - valued prepositional logic system
本文的工作是在徐揚教授、秦克云教授等研究成果的基礎上，對格蘊涵代數(shù)的性質、結構、格值命題邏輯系統(tǒng)中的重言式、自動推理方法、格值命題邏輯系統(tǒng)等進行了一些研究。 - Par method can explain the whole process of " problem - program " as well as improve substantially the programming skills of students ; about the implement technology , the popular generic paradigm is incorporated and the results in ai ( knowledge representation and automated reasoning ) are used , which enables the system to be a truly " open system " with infinitely many problems and solutions , instead of just a compilation of fixed ones ; about the function of the system , it incarnates the constructivism and it has excellent human - machine interface , concurrence , and openness
Par方法可以說清“問題程序”的全過程，可以解決現(xiàn)有程序設計教學存在的根本問題，幫助學習者實質性地提高程序設計的能力；在實現(xiàn)技術方面，借鑒了當代流行的泛型思想，并將人工智能在知識表示、自動推理等研究中形成的思想方法和成果應用于程序設計icai系統(tǒng)的開發(fā)，使得系統(tǒng)具有一個既有問題又有解答的無限題庫，這些解答是由自動推理產生的而不再是固定問題、答案的堆砌；在系統(tǒng)功能方面，充分體現(xiàn)了建構主義思想，具有良好的人機交互性、并發(fā)性和開放性。 - Combining with knowledge representation and automatic reasoning principle of ai and generic paradigm , the system has these main functions : ? it is able to show different solutions of typical example ; ( 2 ) it can automatically generate problems similar to the example for students to solve by providing them with clues ; ( 3 ) these problems can be studied by demonstrating the complete solution process and answers with the help of automated reasoning , or by providing real - time prompts to students concurrent with the students " solution processes with the help of automated reasoning ; ? it provides exercises and is able to call a program produced by the group ( the translator ) , which transfers apla programs to executable programs so as to verify its correctness ; ( 5 ) it let teacher to add examples in the database ; etc . hi the course of systematic research , we deeply investigated the relevant knowledge of the system and made some innovation : about teaching content , we select par method as the main content
本系統(tǒng)選用薛錦云教授的par方法為主要教學內容，應用人工智能的知識表示和自動推理原理及泛型思想，使得系統(tǒng)具有以下核心功能：展示幾種典型例題的解；以泛型思想為指導，實現(xiàn)了無限題庫，可以自動生成與典型例題類似的問題給學生求解并給予提示；對于這些題目，計算機可以自動推理出由問題到程序的全過程供學生學習；也可通過自動推理根據(jù)用戶的實際做題情況實時給出提示，交互式地幫助學生學習算法程序設計；學生可以從問題庫中獲得練習，并調用轉換器，將自己的apla程序轉化為可執(zhí)行語言程序，運行以檢驗其正確性；對教師而言，可以對已有的實例庫、問題庫進行添加操作等。在系統(tǒng)的研制過程中，我們深入研究了系統(tǒng)的各方面相關知識，并進行了多方面的創(chuàng)新：在教學內容方面，首次選用par方法為主要內容。